$\forall$$i$, $j$:$\mathbb{Z}$. $i$ $<$z $j$ $\in$ $\mathbb{B}$